SPONSOR PACKJUNE 2016 ABOUT THE CONFERENCE THE CONFERENCE

Source URL: uxscotland.net

• Functional languages
• Advertising
• Communication design
• Marketing
• Product design
• Logo
• R

Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell

Source URL: css.csail.mit.edu

• Scripting languages
• Functional languages
• Cross-platform software
• JavaScript
• Web programming
• Scope
• ECMAScript
• Eval
• Closure
• C Sharp
• Caja project
• JavaScript syntax

A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object

xmlsummerschool.com 11–16 September 2016 St Edmund Hall, Oxford The XML Summer School is a unique training event for everyone using, designing, or implementing solutions using XML-related

Source URL: xmlsummerschool.com

• Markup languages
• Functional languages
• Transformation languages
• Technical communication
• XSLT
• XQuery
• XSL
• XML Certification Program

Mutation Testing of Functional Programming Languages Duc Le Mohammad Amin Alipour

Source URL: web.engr.oregonstate.edu

xmlsummerschool.com 11–16 September 2016 St Edmund Hall, Oxford The XML Summer School is a unique training event for everyone using, designing, or implementing solutions using XML-related technologies.

Source URL: xmlsummerschool.com

• Computing
• Markup languages
• Functional languages
• Transformation languages
• Technical communication
• XSLT
• XQuery
• XSL
• XML Certification Program

E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ]

Source URL: lenary.co.uk

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Ericsson
• Erlang
• Functional programming
• Type theory
• Actor model
• Concurrent computing
• Go
• International Conference on Functional Programming

On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

Source URL: janvitek.org

• Computer science
• Computing
• Software engineering
• Association for Computing Machinery
• Programming Language Design and Implementation
• International Conference on Functional Programming
• Symposium on Principles of Programming Languages
• SIGPLAN
• Federated Computing Research Conference
• Programming language theory
• SPLASH
• Actor model

The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010

Source URL: hasp.cs.pdx.edu

• Functional languages
• Functional programming
• Data types
• Type theory
• Procedural programming languages
• Haskell
• Syntax
• Monad
• Type system
• ML
• Programming language
• Type class

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Source URL: andmkent.com

• Software engineering
• Programming language theory
• Computing
• Procedural programming languages
• Functional languages
• Gradual typing
• Type system
• Programming language
• Racket
• ALGOL 68
• Io
• Association for Computing Machinery